proc main()void:
    writeln("Hello World");
corp;
